On coarser interval temporal logics
نویسندگان
چکیده
منابع مشابه
Interval Logics for Temporal
Interval Logics for Temporal Speci cation and Veri cation by Y. S. Ramakrishna This thesis investigates temporal speci cation and veri cation techniques using a linear-time temporal logic with interval constructs. It identi es an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which, combined with its ab...
متن کاملInterval Temporal Description Logics
In this paper, we construct a combination HS-Litehorn of the Halpern-Shoham interval temporal logic HS [15] with the description logic DL-Litehorn [12, 1], which is a Horn extension of the standard language OWL 2 QL. The temporal operators of HS are of the form 〈R〉 (‘diamond’) and [R] (‘box’), where R is one of Allen’s interval relations After, Begins, Ends, During, Later, Overlaps and their in...
متن کاملInterval temporal logics
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
متن کاملInterval-Related Interpolation in Interval Temporal Logics
This paper presents a new kind of interpolation theorems about Neighbourhood Logic (NL, [ZH96]) and Interval Temporal Logic (ITL, [Mos85, Dut95]). Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.
متن کاملPropositional Interval Neighborhood Temporal Logics
Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification. In this paper we focus our attention on propositional interval temporal logics with temporal modalities for neighboring intervals over linear orders. We study the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2019
ISSN: 0004-3702
DOI: 10.1016/j.artint.2018.09.001